On Autonomous Logic Nets of Threshold Elements

نویسندگان

  • Shuzo Yajima
  • Toshihide Ibaraki
  • I. Kawano
چکیده

A model of autonomous logic nets composed of n threshold elements is presented and several properties of a single threshold element are generalized to this model. The number of these nets is shown to be 2kn (-<k<l) for completely specified machines. The capacity of the net is defined and conjectured to be 2, similar to the case of a single threshold element. P and NPN Manuscript received October 26, 1966; revised August 2, 1967, November 10, 1967, and December 19, 1967. S. Yajima was with the Dept. of Electronics, and is now with the Dept. of Elec. Engrg. II, Kyoto University, Kyoto, Japan. T. Ibaraki was with the Dept. of Electronics, Kyoto University, Kyoto, Japan. He is now with the Dept. of Computer Science, University of Illinois. Urbana, Ill. I. Kawano was with the Dept. of Electronics, Kyoto University, Kyoto, Japan. Hle is now with Hitachi Ltd., Yokohama, Japan. classifications of the machines are proposed and applied to the enumeration of all periodic sequences of length 2n (n<4) realizable by this net. The state assignment problem of the net is also treated. The existence of transition diagrams which cannot be realized by this model for any state assignment, or of those that can be realized for any state assignment, is shown, and it turns out that almost all completely specified machines belong to the former class when n is sufficiently large. Considering the synthesis of a net, an application of learning procedure is also discussed and it is pointed out that only periodic sequences of length 2" can be learned automatically.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Proof nets and free semi-⋆-autonomous categories

In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.

متن کامل

Proof nets and semi-⋆-autonomous categories

In this paper it is proved that Girard's proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.

متن کامل

From Proof nets to the Free *-Autonomous Categories

In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets. A linking is no longer a set of axiom links but a tree in which the axiom links are subtrees. These trees will be identified according to an equivalence relation based on a simple form ...

متن کامل

Profunctor Semantics for Linear Logic

Linear logic is a sort of “resource-aware” logic underlying intuitionistic logic. Investigations into the proof theory of this logic typically revolve around proof nets, certain two-dimensional graphical representations of proofs. Where sequent calculus deductions enforce arbitrary distinctions between proofs and complicate these investigations, proof nets represent sequent calculus deductions ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. Computers

دوره 17  شماره 

صفحات  -

تاریخ انتشار 1968